package edu.pku.sei.transformation.mtparser;

public interface Visitor
{
    void visit(AstToken n);
    void visit(RuleSemantics n);
    void visit(BasicRuleSemantics n);
    void visit(CheckMode n);
    void visit(EnforceMode n);
    void visit(ExtendMode n);
    void visit(CommaExpr n);
    void visit(SingleExpr n);
    void visit(AndExpr n);
    void visit(OrExpr n);
    void visit(NotExpr n);
    void visit(ExistoneExpr n);
    void visit(ForallExpr n);
    void visit(EqualExpr n);
    void visit(EvalExpr n);
    void visit(ExclusiveExpr n);
    void visit(UnionExpr n);
    void visit(AssignExpr n);
    void visit(NewExpr n);
    void visit(DeleteExpr n);
    void visit(ParenAtomicExpr n);
    void visit(UserDefinedVarExpr n);
    void visit(Name n);
    void visit(StringConst n);
    void visit(IntConst n);
    void visit(RealConst n);
    void visit(NullConst n);
    void visit(InvalidConst n);
    void visit(FullMatchExpr n);
    void visit(PartialMatchExpr n);
    void visit(AttributeExpr n);
    void visit(OperationExpr n);
    void visit(Params n);
    void visit(IfExpr0 n);
    void visit(IfExpr1 n);
    void visit(PredefinedVarExpr0 n);
    void visit(PredefinedVarExpr1 n);
    void visit(PredefinedVarExpr2 n);
    void visit(PredefinedVarExpr3 n);
    void visit(BooleanConst0 n);
    void visit(BooleanConst1 n);

    void visit(Ast n);
}

